4. Prove that the resulting BST is balanced.